[next] [prev] [prev-tail] [tail] [up]

2.2.25 Integrals 2401 to 2500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 61 57 44 54 93 51 46 45

N.S.

1 1.07 1.00 0.77 0.95 1.63 0.89 0.81 0.79

time (sec)

N/A 0.217 0.010 0.305 0.189 0.272 0.079 0.269 0.046

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 68 52 62 121 63 55 55

N.S.

1 1.03 0.99 0.75 0.90 1.75 0.91 0.80 0.80

time (sec)

N/A 0.241 0.030 0.316 0.184 0.288 0.100 0.263 11.501

Problem 2403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 82 78 64 72 146 73 95 65

N.S.

1 0.87 0.83 0.68 0.77 1.55 0.78 1.01 0.69

time (sec)

N/A 0.238 0.031 0.337 0.179 0.281 0.110 0.285 0.046

Problem 2404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 93 86 69 82 171 83 70 75

N.S.

1 0.89 0.82 0.66 0.78 1.63 0.79 0.67 0.71

time (sec)

N/A 0.247 0.036 0.326 0.186 0.265 0.120 0.273 11.336

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 22 20 32 32 31 20 20

N.S.

1 1.00 0.67 0.61 0.97 0.97 0.94 0.61 0.61

time (sec)

N/A 0.179 0.007 0.385 0.180 0.268 0.056 0.269 0.040

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 180 81 75 138 83 90 79 170

N.S.

1 1.12 0.51 0.47 0.86 0.52 0.56 0.49 1.06

time (sec)

N/A 0.355 0.445 0.355 0.269 0.284 0.562 0.302 12.634

Problem 2407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 150 76 70 121 78 83 74 153

N.S.

1 1.11 0.56 0.52 0.90 0.58 0.61 0.55 1.13

time (sec)

N/A 0.313 0.352 0.332 0.287 0.288 0.539 0.285 12.465

Problem 2408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 120 71 65 104 73 76 69 136

N.S.

1 1.09 0.65 0.59 0.95 0.66 0.69 0.63 1.24

time (sec)

N/A 0.262 0.279 0.328 0.276 0.278 0.525 0.279 12.553

Problem 2409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 90 66 60 87 68 68 64 119

N.S.

1 1.06 0.78 0.71 1.02 0.80 0.80 0.75 1.40

time (sec)

N/A 0.210 0.226 0.283 0.272 0.272 0.617 0.287 12.057

Problem 2410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 85 61 55 72 63 61 59 104

N.S.

1 1.06 0.76 0.69 0.90 0.79 0.76 0.74 1.30

time (sec)

N/A 0.203 0.172 0.311 0.270 0.271 0.445 0.274 0.254

Problem 2411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 101 86 80 99 109 0 126 0

N.S.

1 1.01 0.86 0.80 0.99 1.09 0.00 1.26 0.00

time (sec)

N/A 0.264 0.241 0.331 0.272 0.303 0.000 0.323 0.000

Problem 2412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 110 91 97 105 127 0 291 0

N.S.

1 1.05 0.87 0.92 1.00 1.21 0.00 2.77 0.00

time (sec)

N/A 0.271 0.268 0.329 0.274 0.294 0.000 0.471 0.000

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 108 93 97 131 143 0 240 0

N.S.

1 1.01 0.87 0.91 1.22 1.34 0.00 2.24 0.00

time (sec)

N/A 0.278 0.299 0.336 0.275 0.283 0.000 0.324 0.000

Problem 2414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 99 68 73 135 111 0 257 0

N.S.

1 1.05 0.72 0.78 1.44 1.18 0.00 2.73 0.00

time (sec)

N/A 0.236 0.291 0.347 0.274 0.295 0.000 0.324 0.000

Problem 2415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 127 73 78 171 126 0 183 0

N.S.

1 1.07 0.61 0.66 1.44 1.06 0.00 1.54 0.00

time (sec)

N/A 0.279 0.356 0.334 0.296 0.288 0.000 0.302 0.000

Problem 2416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 157 78 83 212 141 0 363 0

N.S.

1 1.09 0.54 0.58 1.47 0.98 0.00 2.52 0.00

time (sec)

N/A 0.328 0.440 0.340 0.292 0.291 0.000 0.321 0.000

Problem 2417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 187 83 88 258 156 0 410 0

N.S.

1 1.11 0.49 0.52 1.53 0.92 0.00 2.43 0.00

time (sec)

N/A 0.382 0.491 0.351 0.292 0.292 0.000 0.327 0.000

Problem 2418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 208 91 85 167 93 104 89 0

N.S.

1 1.14 0.50 0.46 0.91 0.51 0.57 0.49 0.00

time (sec)

N/A 0.386 0.637 0.342 0.280 0.303 0.642 0.304 0.000

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 178 86 80 150 88 95 84 0

N.S.

1 1.13 0.54 0.51 0.95 0.56 0.60 0.53 0.00

time (sec)

N/A 0.343 0.494 0.329 0.270 0.303 0.611 0.290 0.000

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 148 81 75 133 83 90 79 0

N.S.

1 1.11 0.61 0.56 1.00 0.62 0.68 0.59 0.00

time (sec)

N/A 0.285 0.408 0.325 0.273 0.282 0.583 0.282 0.000

Problem 2421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 118 76 70 116 78 80 74 0

N.S.

1 1.09 0.70 0.65 1.07 0.72 0.74 0.69 0.00

time (sec)

N/A 0.229 0.327 0.319 0.281 0.309 0.673 0.288 0.000

Problem 2422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 113 71 65 101 73 76 69 130

N.S.

1 1.10 0.69 0.63 0.98 0.71 0.74 0.67 1.26

time (sec)

N/A 0.220 0.263 0.323 0.273 0.272 0.471 0.288 11.590

Problem 2423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 129 96 90 128 119 0 136 0

N.S.

1 1.05 0.78 0.73 1.04 0.97 0.00 1.11 0.00

time (sec)

N/A 0.308 0.361 0.353 0.275 0.292 0.000 0.324 0.000

Problem 2424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 134 103 107 134 139 0 481 0

N.S.

1 1.05 0.80 0.84 1.05 1.09 0.00 3.76 0.00

time (sec)

N/A 0.311 0.387 0.332 0.288 0.296 0.000 0.525 0.000

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 145 103 107 160 153 0 259 0

N.S.

1 1.07 0.76 0.79 1.19 1.13 0.00 1.92 0.00

time (sec)

N/A 0.326 0.422 0.338 0.272 0.289 0.000 0.335 0.000

Problem 2426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 143 103 107 191 169 0 305 0

N.S.

1 1.04 0.75 0.78 1.39 1.23 0.00 2.23 0.00

time (sec)

N/A 0.320 0.435 0.339 0.279 0.287 0.000 0.340 0.000

Problem 2427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 143 103 107 227 183 0 251 0

N.S.

1 1.04 0.75 0.78 1.66 1.34 0.00 1.83 0.00

time (sec)

N/A 0.332 0.574 0.333 0.285 0.296 0.000 0.464 0.000

Problem 2428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 134 78 83 241 140 0 359 0

N.S.

1 1.08 0.63 0.67 1.94 1.13 0.00 2.90 0.00

time (sec)

N/A 0.279 0.465 0.355 0.273 0.273 0.000 0.316 0.000

Problem 2429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 164 83 88 287 155 0 410 0

N.S.

1 1.10 0.56 0.59 1.93 1.04 0.00 2.75 0.00

time (sec)

N/A 0.330 0.507 0.378 0.286 0.277 0.000 0.360 0.000

Problem 2430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 194 88 93 338 170 0 461 0

N.S.

1 1.11 0.51 0.53 1.94 0.98 0.00 2.65 0.00

time (sec)

N/A 0.371 0.566 30.769 0.279 0.300 0.000 0.353 0.000

Problem 2431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 224 93 98 394 185 0 512 0

N.S.

1 1.13 0.47 0.49 1.98 0.93 0.00 2.57 0.00

time (sec)

N/A 0.427 0.618 0.376 0.287 0.295 0.000 0.324 0.000

Problem 2432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 236 101 95 196 103 117 99 0

N.S.

1 1.15 0.49 0.46 0.95 0.50 0.57 0.48 0.00

time (sec)

N/A 0.413 0.788 0.359 0.280 0.299 0.844 0.289 0.000

Problem 2433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 206 96 90 179 98 110 94 0

N.S.

1 1.14 0.53 0.50 0.99 0.54 0.61 0.52 0.00

time (sec)

N/A 0.368 0.693 0.415 0.282 0.296 0.742 0.294 0.000

Problem 2434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 176 91 85 162 93 102 89 0

N.S.

1 1.13 0.58 0.54 1.04 0.60 0.65 0.57 0.00

time (sec)

N/A 0.312 0.591 0.348 0.274 0.280 0.698 0.295 0.000

Problem 2435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 146 86 80 145 88 97 84 0

N.S.

1 1.11 0.66 0.61 1.11 0.67 0.74 0.64 0.00

time (sec)

N/A 0.270 0.476 0.329 0.272 0.275 0.758 0.301 0.000

Problem 2436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 141 81 75 130 83 90 79 0

N.S.

1 1.12 0.64 0.60 1.03 0.66 0.71 0.63 0.00

time (sec)

N/A 0.256 0.384 0.329 0.270 0.274 0.588 0.306 0.000

Problem 2437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 157 106 100 157 129 0 146 0

N.S.

1 1.08 0.73 0.68 1.08 0.88 0.00 1.00 0.00

time (sec)

N/A 0.363 0.517 0.352 0.274 0.300 0.000 0.325 0.000

Problem 2438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 162 113 117 163 149 0 671 0

N.S.

1 1.07 0.75 0.77 1.08 0.99 0.00 4.44 0.00

time (sec)

N/A 0.378 0.616 0.351 0.280 0.300 0.000 0.573 0.000

Problem 2439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 171 113 117 189 163 0 269 0

N.S.

1 1.07 0.71 0.73 1.18 1.02 0.00 1.68 0.00

time (sec)

N/A 0.377 0.557 0.362 0.275 0.298 0.000 0.325 0.000

Problem 2440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 180 113 117 220 179 0 315 0

N.S.

1 1.09 0.68 0.71 1.33 1.08 0.00 1.91 0.00

time (sec)

N/A 0.385 0.580 0.375 0.286 0.286 0.000 0.349 0.000

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 178 113 117 256 193 0 445 0

N.S.

1 1.07 0.68 0.70 1.53 1.16 0.00 2.66 0.00

time (sec)

N/A 0.388 0.653 0.366 0.278 0.291 0.000 0.664 0.000

Problem 2442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 178 113 117 297 209 0 407 0

N.S.

1 1.07 0.68 0.70 1.78 1.25 0.00 2.44 0.00

time (sec)

N/A 0.386 0.779 0.378 0.296 0.291 0.000 0.466 0.000

Problem 2443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 178 113 117 343 223 0 444 0

N.S.

1 1.07 0.68 0.70 2.05 1.34 0.00 2.66 0.00

time (sec)

N/A 0.395 0.674 0.391 0.279 0.298 0.000 0.478 0.000

Problem 2444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 169 88 93 367 171 0 461 0

N.S.

1 1.10 0.57 0.60 2.38 1.11 0.00 2.99 0.00

time (sec)

N/A 0.324 0.568 0.402 0.290 0.279 0.000 0.421 0.000

Problem 2445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 199 93 98 423 186 0 512 0

N.S.

1 1.11 0.52 0.55 2.36 1.04 0.00 2.86 0.00

time (sec)

N/A 0.376 0.702 0.425 0.290 0.298 0.000 0.399 0.000

Problem 2446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 229 98 103 484 201 0 563 0

N.S.

1 1.12 0.48 0.50 2.37 0.99 0.00 2.76 0.00

time (sec)

N/A 0.419 0.718 0.448 0.292 0.291 0.000 0.400 0.000

Problem 2447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 264 111 105 225 113 131 109 0

N.S.

1 1.15 0.48 0.46 0.98 0.49 0.57 0.48 0.00

time (sec)

N/A 0.449 1.033 0.343 0.272 0.281 1.107 0.350 0.000

Problem 2448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 234 106 100 208 108 122 104 0

N.S.

1 1.15 0.52 0.49 1.02 0.53 0.60 0.51 0.00

time (sec)

N/A 0.407 0.938 0.361 0.266 0.291 1.054 0.355 0.000

Problem 2449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 204 101 95 191 103 117 99 0

N.S.

1 1.14 0.56 0.53 1.07 0.58 0.65 0.55 0.00

time (sec)

N/A 0.344 0.819 0.346 0.262 0.303 0.956 0.349 0.000

Problem 2450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 174 96 90 174 98 110 94 0

N.S.

1 1.13 0.62 0.58 1.13 0.64 0.71 0.61 0.00

time (sec)

N/A 0.293 0.748 0.327 0.274 0.303 0.967 0.342 0.000

Problem 2451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 169 91 85 159 93 102 89 0

N.S.

1 1.13 0.61 0.57 1.07 0.62 0.68 0.60 0.00

time (sec)

N/A 0.283 0.601 0.336 0.271 0.294 0.747 0.300 0.000

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 185 116 110 186 139 0 156 0

N.S.

1 1.09 0.69 0.65 1.10 0.82 0.00 0.92 0.00

time (sec)

N/A 0.407 0.789 0.345 0.269 0.312 0.000 0.356 0.000

Problem 2453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 190 123 127 192 159 0 861 0

N.S.

1 1.09 0.71 0.73 1.10 0.91 0.00 4.95 0.00

time (sec)

N/A 0.431 0.798 0.342 0.277 0.295 0.000 0.650 0.000

Problem 2454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 197 123 127 218 173 0 279 0

N.S.

1 1.09 0.68 0.70 1.20 0.96 0.00 1.54 0.00

time (sec)

N/A 0.438 0.776 0.361 0.281 0.295 0.000 0.360 0.000

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 206 123 127 249 189 0 325 0

N.S.

1 1.08 0.65 0.67 1.31 0.99 0.00 1.71 0.00

time (sec)

N/A 0.442 0.713 0.373 0.278 0.299 0.000 0.352 0.000

Problem 2456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 215 123 127 285 203 0 636 0

N.S.

1 1.10 0.63 0.65 1.46 1.04 0.00 3.26 0.00

time (sec)

N/A 0.445 0.704 0.332 0.277 0.288 0.000 0.607 0.000

Problem 2457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 213 123 127 326 219 0 417 0

N.S.

1 1.08 0.62 0.64 1.65 1.11 0.00 2.12 0.00

time (sec)

N/A 0.442 0.722 0.402 0.290 0.282 0.000 0.342 0.000

Problem 2458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 213 123 127 372 233 0 467 0

N.S.

1 1.08 0.62 0.64 1.89 1.18 0.00 2.37 0.00

time (sec)

N/A 0.458 0.749 0.390 0.289 0.312 0.000 0.355 0.000

Problem 2459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 213 123 127 423 249 0 509 0

N.S.

1 1.08 0.62 0.64 2.15 1.26 0.00 2.58 0.00

time (sec)

N/A 0.451 0.728 0.409 0.284 0.301 0.000 0.360 0.000

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 213 123 127 479 263 0 546 0

N.S.

1 1.08 0.62 0.64 2.43 1.34 0.00 2.77 0.00

time (sec)

N/A 0.441 0.792 0.482 0.301 0.301 0.000 0.350 0.000

Problem 2461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 204 98 103 513 200 0 563 0

N.S.

1 1.11 0.53 0.56 2.79 1.09 0.00 3.06 0.00

time (sec)

N/A 0.383 0.630 0.459 0.294 0.279 0.000 0.347 0.000

Problem 2462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 234 103 108 579 215 0 614 0

N.S.

1 1.12 0.49 0.52 2.77 1.03 0.00 2.94 0.00

time (sec)

N/A 0.429 0.714 0.503 0.302 0.299 0.000 0.341 0.000

Problem 2463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 264 108 113 650 230 0 665 0

N.S.

1 1.13 0.46 0.48 2.78 0.98 0.00 2.84 0.00

time (sec)

N/A 0.493 0.768 0.548 0.295 0.305 0.000 0.332 0.000

Problem 2464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 294 113 118 726 245 0 716 0

N.S.

1 1.14 0.44 0.46 2.80 0.95 0.00 2.76 0.00

time (sec)

N/A 0.523 0.865 0.595 0.308 0.305 0.000 0.347 0.000

Problem 2465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

407 423 355 423 0 811 920 429 0

N.S.

1 1.04 0.87 1.04 0.00 1.99 2.26 1.05 0.00

time (sec)

N/A 0.912 1.168 0.686 0.000 0.437 1.079 0.311 0.000

Problem 2466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 245 206 224 0 487 527 233 0

N.S.

1 1.05 0.88 0.96 0.00 2.08 2.25 1.00 0.00

time (sec)

N/A 0.440 0.648 0.569 0.000 0.337 0.964 0.313 0.000

Problem 2467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 115 116 104 0 273 265 111 0

N.S.

1 0.99 1.00 0.90 0.00 2.35 2.28 0.96 0.00

time (sec)

N/A 0.266 0.458 0.507 0.000 0.301 1.037 0.320 0.000

Problem 2468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 66 58 0 162 146 60 80

N.S.

1 1.00 0.99 0.87 0.00 2.42 2.18 0.90 1.19

time (sec)

N/A 0.202 0.065 0.445 0.000 0.296 0.404 0.289 11.647

Problem 2469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 142 199 0 1079 0 0 0

N.S.

1 1.00 1.08 1.51 0.00 8.17 0.00 0.00 0.00

time (sec)

N/A 0.309 0.578 0.484 0.000 25.688 0.000 0.000 0.000

Problem 2470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 160 437 0 748 0 0 0

N.S.

1 1.00 1.07 2.91 0.00 4.99 0.00 0.00 0.00

time (sec)

N/A 0.297 0.692 0.510 0.000 1.278 0.000 0.000 0.000

Problem 2471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 290 264 841 0 1750 0 1508 0

N.S.

1 1.07 0.97 3.10 0.00 6.46 0.00 5.56 0.00

time (sec)

N/A 0.503 10.307 0.602 0.000 9.118 0.000 0.333 0.000

Problem 2472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

444 485 434 1536 0 3684 0 4368 0

N.S.

1 1.09 0.98 3.46 0.00 8.30 0.00 9.84 0.00

time (sec)

N/A 0.882 10.555 0.772 0.000 54.927 0.000 0.370 0.000

Problem 2473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 337 404 554 0 1605 0 551 0

N.S.

1 1.04 1.24 1.70 0.00 4.94 0.00 1.70 0.00

time (sec)

N/A 0.583 2.242 0.740 0.000 1.897 0.000 0.312 0.000

Problem 2474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 222 241 330 0 945 0 297 0

N.S.

1 1.06 1.15 1.57 0.00 4.50 0.00 1.41 0.00

time (sec)

N/A 0.452 1.004 0.583 0.000 1.508 0.000 0.299 0.000

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 129 209 0 489 0 139 163

N.S.

1 1.00 1.02 1.66 0.00 3.88 0.00 1.10 1.29

time (sec)

N/A 0.260 0.583 0.513 0.000 1.003 0.000 0.303 12.229

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 44 45 0 74 0 55 44

N.S.

1 1.00 0.98 1.00 0.00 1.64 0.00 1.22 0.98

time (sec)

N/A 0.169 0.011 0.442 0.000 0.334 0.000 0.301 11.253

Problem 2477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 199 445 0 1656 0 583 0

N.S.

1 1.00 1.06 2.37 0.00 8.81 0.00 3.10 0.00

time (sec)

N/A 0.341 0.747 0.481 0.000 2.928 0.000 0.303 0.000

Problem 2478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 361 866 1064 0 4122 0 0 0

N.S.

1 1.08 2.59 3.19 0.00 12.34 0.00 0.00 0.00

time (sec)

N/A 0.601 13.302 0.535 0.000 11.321 0.000 0.000 0.000

Problem 2479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

545 583 527 1853 0 8054 0 4205 0

N.S.

1 1.07 0.97 3.40 0.00 14.78 0.00 7.72 0.00

time (sec)

N/A 1.083 12.126 0.612 0.000 60.994 0.000 0.387 0.000

Problem 2480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

608 637 851 1969 0 3181 0 1228 0

N.S.

1 1.05 1.40 3.24 0.00 5.23 0.00 2.02 0.00

time (sec)

N/A 1.230 6.291 0.912 0.000 11.711 0.000 0.313 0.000

Problem 2481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

397 422 508 1158 0 1881 0 805 0

N.S.

1 1.06 1.28 2.92 0.00 4.74 0.00 2.03 0.00

time (sec)

N/A 0.689 3.545 0.697 0.000 6.919 0.000 0.308 0.000

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 314 424 0 469 0 448 423

N.S.

1 1.00 2.60 3.50 0.00 3.88 0.00 3.70 3.50

time (sec)

N/A 0.251 1.907 0.549 0.000 7.400 0.000 0.296 11.710

Problem 2483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 200 247 0 353 0 297 246

N.S.

1 1.00 1.27 1.56 0.00 2.23 0.00 1.88 1.56

time (sec)

N/A 0.309 1.127 0.492 0.000 6.669 0.000 0.284 11.527

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 99 123 0 245 0 193 121

N.S.

1 1.00 1.10 1.37 0.00 2.72 0.00 2.14 1.34

time (sec)

N/A 0.203 0.033 0.450 0.000 0.759 0.000 0.281 11.529

Problem 2485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

436 475 437 846 0 6068 0 12448 0

N.S.

1 1.09 1.00 1.94 0.00 13.92 0.00 28.55 0.00

time (sec)

N/A 0.780 10.721 0.505 0.000 15.320 0.000 0.521 0.000

Problem 2486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

746 803 754 1918 0 12690 0 9472 0

N.S.

1 1.08 1.01 2.57 0.00 17.01 0.00 12.70 0.00

time (sec)

N/A 1.618 13.012 0.543 0.000 69.615 0.000 1.127 0.000

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1401 1448 2369 7895 0 7987 0 3496 0

N.S.

1 1.03 1.69 5.64 0.00 5.70 0.00 2.50 0.00

time (sec)

N/A 2.877 21.420 2.101 0.000 108.642 0.000 0.321 0.000

Problem 2488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

942 989 1610 4849 0 5253 0 2612 0

N.S.

1 1.05 1.71 5.15 0.00 5.58 0.00 2.77 0.00

time (sec)

N/A 1.544 17.573 1.234 0.000 46.800 0.000 0.319 0.000

Problem 2489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 206 1196 1892 0 1628 0 1815 7972

N.S.

1 0.98 5.70 9.01 0.00 7.75 0.00 8.64 37.96

time (sec)

N/A 0.332 14.976 0.950 0.000 38.953 0.000 0.304 14.596

Problem 2490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 279 963 1480 0 1370 0 1465 4090

N.S.

1 1.06 3.65 5.61 0.00 5.19 0.00 5.55 15.49

time (sec)

N/A 0.494 9.902 0.748 0.000 75.111 0.000 0.308 13.388

Problem 2491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 339 711 1025 0 1095 0 1091 1996

N.S.

1 1.05 2.19 3.16 0.00 3.38 0.00 3.37 6.16

time (sec)

N/A 0.533 6.548 0.592 0.000 81.766 0.000 0.299 12.608

Problem 2492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 209 426 551 0 805 0 701 892

N.S.

1 0.93 1.89 2.45 0.00 3.58 0.00 3.12 3.96

time (sec)

N/A 0.370 3.476 0.511 0.000 73.731 0.000 0.301 12.203

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 140 212 258 0 543 0 433 394

N.S.

1 1.05 1.59 1.94 0.00 4.08 0.00 3.26 2.96

time (sec)

N/A 0.256 2.507 0.467 0.000 2.869 0.000 0.288 12.007

Problem 2494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

974 1054 924 1422 0 16082 0 81273 0

N.S.

1 1.08 0.95 1.46 0.00 16.51 0.00 83.44 0.00

time (sec)

N/A 1.652 15.294 0.516 0.000 219.227 0.000 2.536 0.000

Problem 2495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 152 71 65 109 73 76 69 0

N.S.

1 1.11 0.52 0.47 0.80 0.53 0.55 0.50 0.00

time (sec)

N/A 0.310 0.368 0.370 0.266 0.262 0.553 0.280 0.000

Problem 2496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 122 66 60 92 68 70 64 0

N.S.

1 1.09 0.59 0.54 0.82 0.61 0.62 0.57 0.00

time (sec)

N/A 0.277 0.288 0.378 0.265 0.275 0.548 0.284 0.000

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 92 61 55 75 63 63 59 0

N.S.

1 1.06 0.70 0.63 0.86 0.72 0.72 0.68 0.00

time (sec)

N/A 0.228 0.231 0.374 0.266 0.265 0.563 0.280 0.000

Problem 2498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 56 50 58 58 54 54 0

N.S.

1 1.00 0.90 0.81 0.94 0.94 0.87 0.87 0.00

time (sec)

N/A 0.185 0.179 0.324 0.267 0.271 0.659 0.278 0.000

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 51 45 43 53 49 49 44

N.S.

1 1.00 0.89 0.79 0.75 0.93 0.86 0.86 0.77

time (sec)

N/A 0.179 0.131 0.324 0.266 0.256 0.449 0.268 11.402

Problem 2500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 61 61 70 90 0 107 0

N.S.

1 1.00 0.79 0.79 0.91 1.17 0.00 1.39 0.00

time (sec)

N/A 0.228 0.171 0.338 0.269 0.297 0.000 0.314 0.000

[next] [prev] [prev-tail] [front] [up]